Nuprl Definition : s-filter
11,40
postcript
pdf
s-filter(
p
;
as
) == reduce(
a
,
l
. if
p
(
a
) then s-insert(
a
;
l
) else
l
fi ;[];
as
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
f
(
a
)
,
s-insert(
x
;
l
)
,
[]
FDL editor aliases
s-filter
origin
a,l. if p(a) then s-insert(a;l) else l fi ;[];as) a,l. if p(a) then s-insert(a;l) else l fi ;[];as) x.A(x)